let pure x = x, ""
